Measurement theory in linguistics

Optimality Theory in Linguistics

Group Theory and Computational Linguistics

There is currently much interest in bringing together the tradition of categorial grammar, and especially the Lambek calculus, with the recent paradigm of linear logic to which it has strong ties. One active research area is designing non-commutative versions of linear logic (Abrusci 1995, Retor e 1993) which can be sensitive to word order while retaining the hypothetical reasoning capabilities...

Computational Linguistics and Linguistic Theory

The present paper is an attempt to justify and explain the direction of present research in Ottawa (Carleton University and also University of Ottawa) on Computational manipulation of speech. Our actual realizations are not necessarily original; rather, we are trying to make use of the findings of other workers, assembling them, however, in a different way, on the basis of a novel conception of...

Applications of Game Theory in Linguistics

New directions for proof theory in linguistics

We give a complete characterization of the class of upward monotone generalized quantifiers Q1 and Q2 over countable domains that satisfy the scheme Q1x Q2y ! Q2y Q1x . This generalizes the characterization of such quantifiers over finite domains, according to which the scheme holds iff Q1 is 9 or Q2 is 8 (excluding trivial cases). Our result shows that in infinite domains, there are more gener...